Nuprl Definition : w-Msg-from
0,22
postcript
pdf
MsgFrom(
i
) == {
m
:Msg| source(mlnk(
m
)) =
i
}
latex
clarification:
w-Msg-from(
w
;
i
) == {
m
:w-Msg(
w
)| source(mlnk(
m
)) =
i
Id }
latex
Definitions
{
x
:
A
|
B
(
x
) }
,
Msg
,
s
=
t
,
Id
,
source(
l
)
,
mlnk(
m
)
FDL editor aliases
w-Msg-from
origin
Id } Id }